What is shift left in BDD